core
API
Generated with
core/doobie.util/<:!<

<:!<

doobie.util.$:!$$
See the<:!< companion trait
object <:!<

Attributes

Companion:
trait
Source:
subtype.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
<:!<.type

Members list

Concise view

Implicits

Implicits

implicit def nsub[A, B](implicit ev: NotGiven[A <:< B]): A <:!< B

Attributes

Source:
subtype.scala
Generated with